Reducing post-exercise rapid-acting insulin (insulin lispro or aspart) dose